Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism

Process Algebra and Hoare's Logic

A Hoare-like logic is introduced for deriving`partial correctness assertions' of the form fg p fg, where ; are unary predicates over some state space S and p is an expression over a recursive, non-uniform language containing global nondeterminism (+) and sequential composition (). This logic is (relatively) complete if only guarded recursion is considered.

Ten years of severe plastic deformation (SPD) in Iran, part II: accumulative roll bonding (ARB)

The present paper is the second part of a previously published overview entitled “ten years of severe plastic deformation (SPD) in Iran”. Part I concentrates on the equal channel angular pressing (ECAP). In this part, the focus is on the accumulative roll bonding (ARB) because, currently, Iran is ranked the first in the world by the total number of publications in this field. In the present sec...

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

A Survey of Limited Nondeterminism in Computational Complexity Theory

OF THESIS A SURVEY OF LIMITED NONDETERMINISM IN COMPUTATIONAL COMPLEXITY THEORY Nondeterminism is typically used as an inherent part of the computational models used in computational complexity. However, much work has been done looking at nondeterminism as a separate resource added to deterministic machines. This survey examines several different approaches to limiting the amount of nondetermin...

Ten-year prevalence survey of strongyloides stercoralis in patients referred to Rouhani hospital during 2011-2020 years: a brief report